Большая советская энциклопедия - исчисление предикатов
Исчисление предикатов
исчисление предикатов
Исчисление предикатов, раздел математической логики — совокупность логико-математических исчислений, формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. См. Высказывание, Логика предикатов.
Рейтинг статьи:
См. в других словарях
1.
раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов. ...Большой энциклопедический словарь
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 4926 | |
2 | 3045 | |
3 | 3015 | |
4 | 2844 | |
5 | 2837 | |
6 | 2802 | |
7 | 2740 | |
8 | 2723 | |
9 | 2610 | |
10 | 2534 | |
11 | 2358 | |
12 | 2232 | |
13 | 2189 | |
14 | 2187 | |
15 | 2158 | |
16 | 2074 | |
17 | 2066 | |
18 | 2051 | |
19 | 2038 | |
20 | 1991 |